First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
301	Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {.}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-04-10 11:01:31 Logic in computer science Rippling Theorem Formal methods Postcondition First-order logic Mathematical proof Precondition IP Logic Mathematics Theoretical computer science
302	Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2014-10-24 21:23:28 Elementary arithmetic Mathematical logic Formal systems Probability theory Normal distribution First-order logic Generating function Probability-generating function Function Mathematics Logic Binary operations
303	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:47 Type theory Homotopy theory Proof theory Homotopy type theory First-order logic Constructivism Symbol Natural deduction Curry–Howard correspondence Mathematical logic Logic Mathematics
304	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
305	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
306	Complete Functional Synthesis Viktor Kuncak Mika¨el Mayer Ruzica Piskac Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-04-01 07:52:40 Model theory Logic in computer science Predicate logic Semantics NP-complete problems Satisfiability Modulo Theories Function First-order logic Quantifier elimination Mathematics Mathematical logic Logic
307	Overcoming the Knowledge Engineering Bottleneck for Understanding Student Language Input Carolyn P. Ros´e, Andy Gaydos, Brian S. Hall, Antonio Roque, and Kurt VanLehn Learning Research and Development Center, University Add to Reading List Source URL: aroque.bol.ucla.edu Language: English - Date: 2010-11-21 01:04:58 Semantics Mathematical logic Grammar Formal languages Computational linguistics Semantic network Well-formed formula Proposition First-order logic Logic Linguistics Science
308	Paper Title (use style: paper title) Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2013-06-07 14:08:57 Role-based access control PERMIS Mandatory access control EXPRESS Variable and attribute Database management system First-order logic Security Computer security Access control
309	1 Logic-based Formalisms for Statistical Relational Learning James Cussens Department of Computer Science & York Centre for Complex Systems Analysis Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Bayesian statistics Predicate logic Philosophy of mathematics Non-classical logic Probabilistic logic Bayesian probability Markov logic network Probability interpretations First-order logic Logic Mathematics Mathematical logic
310	Reference Card Jean-Raymond Abrial and Thai Son Hoang April 2008 Contents Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:27:26 Propositional calculus Boolean algebra Semantics Logical connectives First-order logic Negation Deduction theorem Equational logic Logic Mathematical logic Mathematics

UPDATE